Examines the cognitive impact on formal languages for human reasoning, drawing on philosophy, historical development, psychology and cognitive science.[...]